Time Structures for AI
نویسنده
چکیده
Tims has been studied by logicians for a long time and recently it has been modelled in more and more researches in AI. There exists a gap between the logics built by temporal logicians and those used in AI. This paper aims at filing this gap and providing a formal study on temporal logics for AI. In this paper, we present a new axiomatization of Allen & Hayes' temporal logic and locate their logic in the spectrum of logics built by temporal logicians. We also relate point-, eventand interval-based time structures to one another.
منابع مشابه
APPLICATION OF WAVELET THEORY IN DETERMINING OF STRONG GROUND MOTION PARAMETERS
Cumulative absolute velocity (CAV), Arias intensity (AI), and characteristic intensity (CI) are measurable characteristics to show collapse potential of structures, evaluation of earth movement magnitude, and detection of structural failure in an earthquake. In this paper, parameters which describe three characteristics of ground motion have been investigated by using wavelet transforms (WT). I...
متن کاملتأثیر زمان های مختلف شروع پروتکل اوسینک پس از تلقیح بر شاخص های همزمانی و باروری گاوهای هلشتاین
The objective of this study was to consider effect of three different time of starting Ovsynch after Artificial Insemination, on synchrony parameters, pregnancy loss and fertility in Holstein cows. Multiparous cows (> 30 Kg/d, n = 450) randomly assigned to one of three groups. Groups according to time of starting Ovysnch were as follows: 1- Starting Ovsynch on day 25 after AI, 2- Starting Ovsyn...
متن کاملArtificial intelligence & genetics
Artificial intelligence (AI) is the development of computer systems that are able to perform tasks that normally require human intelligence. Artificial intelligence (AI) is a wide-ranging tool that enables people to rethink how we integrate information, analyze data, and use the resulting insights to improve decision making—and already it is transforming every walk of life. AI has application...
متن کاملEffect of prostaglandin F2α and GnRH administration at the time of artificial insemination on reproductive performance of dairy cows
The present study aimed to determine the effect of administrating prostaglandin F2α (PGF2α) and GnRH at the time of artificial insemination (AI) on the pregnancy per artificial insemination (P/AI) and the pregnancy survival rate of dairy cows. A number of 830 lactating Holstein cows were randomly divided into four groups. Cows in group 1 (n=200) treated with 150 µg d-cloprostenol. In group 2 (n...
متن کاملDevelopment and Evaluation of Real-Time Reverse Transcription Polymerase Chain Reaction Test for Quantitative and Qualitative Recognition of H5 Subtype of Avian Influenza Viruses
Avian influenza viruses (AIV) affect a wide range of birds and mammals, cause severe economic damage to the poultry industry, and pose a serious threat to humans. Highly pathogenic avian influenza viruses (HPAI) H5N1 were first identified in Southeast Asia in 1996 and spread to four continents over the following years. The viruses have caused high mortality in chickens and various bird species ...
متن کامل